STIR-RST: A Software tool for reactive smart tracer studies

Development of a Software Tool For Modeling Smart Environments

Widely distributed small and cheap computational devices which are embedded in physical environments provide the opportunity to build Smart Environments where there is an implicit informatic interaction between the environment and the immersed people. A common type of smart environment is a building which is equipped with a guidance system. This system helps the visitors who are not familiar wi...

TRACER: A Symbolic Execution Tool for Verification

Recently symbolic execution (SE) [15] has been successfully proven to be an alternative to CEGAR for program verification offering the following benefits among others [12, 18]: (1) it does not explore infeasible paths avoiding expensive refinements, (2) it avoids expensive predicate image computations (e.g., Cartesian and Boolean abstractions [2]), and (3) it can recover from too-specific abstr...

STIR: Software for Tomographic Image Reconstruction

We present a new version of STIR, an Open Source object-oriented library implemented in C++ for 3D PET reconstruction. This library has been designed such that it can be used for many algorithms and scanner geometries, while being portable to various computing platforms. This second release enhances its flexibility and modular design and includes additional features such as Compton scatter simu...

AssayR: A Simple Mass Spectrometry Software Tool for Targeted Metabolic and Stable Isotope Tracer Analyses

Metabolic analyses generally fall into two classes: unbiased metabolomic analyses and analyses that are targeted toward specific metabolites. Both techniques have been revolutionized by the advent of mass spectrometers with detectors that afford high mass accuracy and resolution, such as time-of-flights (TOFs) and Orbitraps. One particular area where this technology is key is in the field of me...

Reverse Tracer: A Software Tool for Generating Realistic Performance Test Programs